Modelling Internal Dynamic Behaviour of BDI Agents
نویسندگان
چکیده
A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE.
منابع مشابه
Modelling Emotional BDI Agents
Emotional-BDI agents are agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. In this paper we introduce the logic EBDI for specifying Emotional-BDI agents in general and a special kind of Emotional-BDI agent under the effect of fear. The focus of this work is in the expressiveness of EBDI and on using i...
متن کاملA Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour
Multi-agent systems exhibit highly dynamic behaviour within dynamic environments. Modelling of individual agents within such systems demands considering both evolving data structures and the control over their internal changing states. In addition, modelling of the overall system implies modelling of the agents’ configuration, including their ability to exchange messages as well as the ability ...
متن کاملA new BDI agent architecture based on the belief theory. Application to the modelling of cropping plan decision-making
Agent-based simulations are now widely used to study complex systems. However, the problem of the agent design is still an open issue, especially for social-ecological models, where some of the agents represent human beings. In fact, designing complex agents able to act in a believable way is a difficult task, in particular when their behaviour is led by many conflicting needs and desires. A wi...
متن کاملReasoning about BDI Agents from a Programming Languages Perspective
In this paper, we summarize an approach to reasoning about a class of BDI agent architectures based on PRS. The theory is formalized using a logic, Agent Dynamic Logic (ADL), that combines elements from Computation Tree Logic, Propositional Dynamic Logic and Rao and Georgeff’s BDI Logic. The motivation of this work is to develop a logical framework that is at once rigorous in providing formal n...
متن کاملReactive (Re) Planning Agents in a Dynamic Environment
Intelligent agents are powerful tools for complex and dynamic problems. Belief Desire Intension (BDI) is one of the most popular agent architectures for reactive goal directed agents. Planning is intrinsic for intelligent behaviour. But planning from first principle is costly in terms of computation time and resources. BDI agents retain their reactive property by avoiding planning from real-tim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997